The Vietoris Monad and Weak Distributive Laws
نویسندگان
چکیده
منابع مشابه
Weak distributive laws
Distributive laws between monads (triples) were defined by Jon Beck in the 1960s; see [1]. They were generalized to monads in 2-categories and noticed to be monads in a 2-category of monads; see [2]. Mixed distributive laws are comonads in the 2-category of monads [3]; if the comonad has a right adjoint monad, the mate of a mixed distributive law is an ordinary distributive law. Particular case...
متن کاملMonad Compositions I: General Constructions and Recursive Distributive Laws
New techniques for constructing a distributive law of a monad over another are studied using submonads, quotient monads, product monads, recursively-defined distributive laws, and linear equations. Sequel papers will consider distributive laws in closed categories and will construct monad approximations for compositions which fail to be a monad.
متن کاملDistributive laws and the Koszulness
Both the little cubes operad and the operad en are intimately related to configuration spaces, namely, en(m) = H(Fn(m)), where Fn(m) denotes the space of configurations of m distinct points in R. The physical relevance of the operad en is given by the fact that some spaces playing an important rôle in closed string field theory are compactifications (of various types) of the configuration space...
متن کاملOperads, clones, and distributive laws
We show how non-symmetric operads (or multicategories), symmetric operads, and clones, arise from three suitable monads on Cat, each extending to a (pseudo-)monad on the bicategory of categories and profunctors. We also explain how other previous categorical analyses of operads (via Day’s tensor products, or via analytical functors) fit with the profunctor approach.
متن کاملCacti and filtered distributive laws
Motivated by the second author’s construction of a classifying space for the group of pure symmetric automorphisms of a free product, we introduce and study a family of topological operads, the operads of based cacti, defined for every pointed simplicial set .Y;p/ . These operads also admit linear versions, which are defined for every augmented graded cocommutative coalgebra C . We show that th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Categorical Structures
سال: 2019
ISSN: 0927-2852,1572-9095
DOI: 10.1007/s10485-019-09582-w